PAM: A Process Algebra Manipulator
نویسنده
چکیده
PAM is a general proof tool for process algebras. It allows users to deene their own calculi and then perform algebraic style proofs in these calculi by directly manipulating process terms. The logic that PAM implements is equational logic plus recursion, with some features tailored to the particular requirements of process algebras. Equational reasoning is implemented by rewriting, while recursion is dealt with by induction. Proofs are constructed interactively, giving users the freedom to control the proof processes.
منابع مشابه
Comparative study of modeling and identification of the pneumatic artificial muscle (PAM) manipulator using recurrent neural networks
The paper deals with the PAM manipulator modeling and identification based on autoregressive recurrent neural networks. For the first time, the most powerful types of neural-network-based nonlinear autoregressive models, namely, NNARMAX, NNOE and NNARX models, will be applied comparatively to the PAM manipulator identification. Furthermore, the evaluation of different nonlinear neural network a...
متن کاملModeling and Adaptive Self-Tuning MVC Control of PAM Manipulator Using Online Observer Optimized with Modified Genetic Algorithm
In this paper, the application of modified genetic algorithms (MGA) in the optimization of the ARX Modelbased observer of the Pneumatic Artificial Muscle (PAM) manipulator is investigated. The new MGA algorithm is proposed from the genetic algorithm with important additional strategies, and consequently yields a faster convergence and a more accurate search. Firstly, MGA-based identification me...
متن کاملDesign and Implementation an Adaptive Recurrent Neural Networks (ARNN) Controller of the Pneumatic Artificial Muscle (PAM) Manipulator
This paper presents the design, development and implementation of an Adaptive Recurrent Neural Networks (ARNN) controller suitable for real-time manipulator control applications. The unique feature of the ARNN controller is that it has dynamic self-organizing structure, fast learning speed, good generalization and flexibility in learning. The proposed adaptive algorithm focuses on fast and effi...
متن کاملA General Formulation of Under-Actuated Manipulator Systems
This paper discusses a general formulation both in kinematics and dynamics for under-actuated manipulator systems, represented by a freejoint manipulator, a free-floating manipulator, a flexible-base manipulator and a flexible-arm manipulator. We highlight the fact that a concept, originally developed for a particular system, is applicable to the others as well because the dynamic equations of ...
متن کاملGenericity Conditions for Serial Manipulators
A generic, or more properly 1-generic, serial manipulator is one whose forward kinematic mapping exhibits singularities of given rank in a regular way. In this paper, the product-ofexponentials formulation of a kinematic mapping together with the Baker–Campbell–Hausdorff formula for Lie groups is used to derive an algebraic condition for the regularity.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Formal Methods in System Design
دوره 7 شماره
صفحات -
تاریخ انتشار 1991